P:Prop. (False  P)  True 

latex

Definitions	x:A. B(x), P  Q, P & Q, P  Q, P  Q, False, True, t  T, Prop
Lemmas	true wf, false wf